Listing of computer vision conferences from the Computer Vision Homepage. Includes all major vision conferences and links to their websites.

Conference on Automated Learning and Discovery. Carnegie Mellon University, June 11-13 1998.

Carnegie Mellon School of Computer Science. Phd Student. Intersection of computer science and game theory, computer science and economics, multiagent systems, automated negotiation and contracting.

Carnegie Mellon University - Standard ML with refinement-type checking, relationships between modal logics and programming languages.

Software, information and legalese.

Developed in 1980, The DENDRAL Project dealt with analysis of molecular structure in organic chemistry. The chemical and physical properties of compounds are determined not just by their constituent atoms, but by the arrangement of these atoms as well...

Constraint-logic programming language based on LF Logical Framework; a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics that is implemented as an interpreter in Standard ML.

A small expert system developed by Steve Jones of Reading University in 1988 for forestry management. The rules are Prolog clauses. Inference is depth-first, backward-chaining, with no explanations of why ESFM asked a question nor how it came to a con...

A dataset of face images for face recognition algorithms.

Information about Prolog Implementations.